1. Using sophisticated models in resolution theorem proving
پدیدآورنده : Sandford, David M.
کتابخانه: (طهران)
موضوع : ، Automatic theorem proving,Data processing ، Mathematics
رده :
QA
76
.
L28
Vol
.
90
2. Using sophisticated models in resolution theorem proving
پدیدآورنده : Sandford, David M.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Automatic theorem proving,Data processing ، Mathematics
رده :
QA
76
.
9
.
A96
.
S36
1980
3. Using sophisticated models in resolution theorem proving
پدیدآورنده : Sandford, David M.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Automatic theorem proving,، Mathematics - Data processing
رده :
QA
76
.
L4
v
.
90